Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
821	i i “articoli/lettieriParisi” — — 14:54 — page 131 — #131 Add to Reading List Source URL: www.ittig.cnr.it Language: English - Date: 2014-03-07 06:25:51 Scientific modeling Knowledge Ethology Simulation Multi-agent systems Agent-based model Social simulation Generative science Computational model Science Complex systems theory Models of computation
822	slide 2 gaius slide 1 gaius Add to Reading List Source URL: floppsie.comp.glam.ac.uk Language: English - Date: 2015-02-04 11:34:21 Diagrams Design Infographics Models of computation Unified Modeling Language Class diagram UML tool Object-oriented design Entity-relationship model UML diagrams Software engineering Data modeling
823	Automata theory Regular Cost Functions Contributions of the thesis Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2013-03-08 11:06:55 Computability theory Automata theory Theory of computation Models of computation Church–Turing thesis Finite-state machine Algorithm Decidability Krohn–Rhodes theory Theoretical computer science Computer science Mathematics
824	On Determinisation of History-Deterministic Automata. Denis Kuperberg Michal Skrzypczak Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-07-07 08:10:22 Computer science Finite-state machine Büchi automaton Deterministic pushdown automaton Automata theory Models of computation Theoretical computer science
825	Dependent Types and Program Equivalence Limin Jia Jianzhou Zhao Vilhelm Sjöberg Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Models of computation Lambda calculus Type theory Simply typed lambda calculus Theory of computation Valuation Type system Equivalence relation Natural deduction Theoretical computer science Mathematics Computer science
826	Automata theory Hard decision problems Regular Cost Functions Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2014-10-15 08:27:58 Mathematics Semigroup theory Algebra Category theory Models of computation Regular language Monoid Finite-state machine Free monoid Formal languages Abstract algebra Automata theory
827	Automata theory Regular Cost Functions Contributions of the thesis Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2012-12-02 12:39:02 Mathematics Automata theory Models of computation Theory of computation Church–Turing thesis Finite-state machine Algorithm Decidability Krohn–Rhodes theory Theoretical computer science Computer science Computability theory
828	Department of Electrical and Computer Systems Engineering Technical Report MECSE Add to Reading List Source URL: www.eganfamily.id.au Language: English - Date: 2007-09-25 10:08:39 Computer architecture Reconfigurable computing Models of computation Digital electronics Field-programmable gate array Programming paradigms Parallel computing Dataflow Hardware description language Electronic engineering Computing Electronics
829	MACE: Model-inference-Assisted Concolic Exploration for Protocol and Vulnerability Discovery Chia Yuan Cho†‡ Kevin Zhijie Chen† † University of California, Berkeley Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2013-09-09 05:44:56 Information Communications protocol Finite-state machine Algorithm Mealy machine Function Output Model checking Models of computation Mathematics Data
830	Motivation We have so far seen many analyses which deal with control- and data-flow properties of pure languages. However, many languages contain operations with sideeffects, so we must also be able to analyse and safely Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-03-02 06:00:00 Models of computation Function Lambda calculus Type system Mathematics Theoretical computer science Mathematical logic

UPDATE